On Dead Path Elimination in Decentralized Process Executions
نویسنده
چکیده
There has been a great deal of interest in recent years in the use of service oriented approach and relevant standards to implement business processes. Following the concepts of workflow-based process management, the major focus has been on service composition. Not surprisingly, this default composition approach suffers from the limitations of centralized workflow management. It is well recognized that a decentralized execution setting where composed services can establish P2P interactions, is central to a wide range of ubiquitous, mobile, large-scale and secure business process management. A natural way to enable the decentralized execution is to implement the relevant distributed cooperating processes of a centralized process on composed services. In this way, composed services can establish P2P interactions following the semantics of their processes. In this report, we present a generic approach that enables decentralized executions with such cooperating processes. Precisely, we present our method that derives the latter. We focus on the sophisticated control/data flow, conversational aspects and especially Dead Path Elimination that run counter to naive intuition, most of which, we explain using deeper analysis of the algorithms and data structures that we employed. Key-words: Workflow, P2P computing, Program Partitioning, Business Process Management, Dead Path Elimination Ce travail est partiellement supporté par les fonds du Ministère de la Culture, de l’Enseignement supérieur et de la Recherche de Grand-Duché de Luxembourg. Réf: BFR 04/108 ∗ INRIA LORIA, University of Nancy, [email protected] in ria -0 01 32 92 8, v er si on 2 26 F eb 2 00 7 L’Élimination des Chemins Morts dans des Exécutions Décentralisées des Procédés Résumé : L’Élimination des Chemins Morts dans des Exécutions Décentralisées des Procédés est une opération spćiale supportée par la plupart des outils de gestion de procédé centralisés. Ce travail porte sur la définition, l’analyze et l’adaptation de la même opération aux exécutions décentralisées des procédés. Mots-clés : Workflow, Système d’Information Egal-à-Egal, Partitions des Programmes, La Gestion des Procédés Métiers, L’élimination des Chemins Morts in ria -0 01 32 92 8, v er si on 2 26 F eb 2 00 7 On DPE in Decentralized Process Executions 3
منابع مشابه
Path Splitting: A Technique for Improving Data-Flow Analysis
The eeectiveness of traditional global optimizations is limited by the quality of data-ow information available to the compiler. The rich control structure of many programs hinders global optimizations by polluting data-ow information and forcing the compiler to make worst-case assumptions during data-ow analysis. Path splitting is a new technique for improving the amount of data-ow information...
متن کاملDynamic Skipping and Blocking and Dead Path Elimination for Cyclic Workflows
We propose and study dynamic versions of the classical flexibility constructs skip and block and motivate and define a formal semantics for them. We show that our semantics for dynamic blocking is a generalization of classical dead-path-elimination and solves the long-standing open problem to define deadpath elimination for cyclic workflows. This gives rise to a simple and fully local semantics...
متن کاملComparison-based Computation of Causal Paths for Software Failures
In this paper, we present an automated debugging technique that explains a failure by computing its causal path leading from the root cause to the failure. The technique assumes two executions, one passing and the other failing. The two executions could be directly available if the failure is caused by a regression fault. Otherwise, the passing run is automatically generated by searching for a ...
متن کاملProcess algebraic modeling of authentication protocols for analysis of parallel multi-session executions
Many security protocols have the aim of authenticating one agent acting as initiator to another agent acting as responder and vice versa. Sometimes, the authentication fails because of executing several parallel sessions of a protocol, and because an agent may play both the initiator and responder role in parallel sessions. We take advantage of the notion of transition systems to specify authen...
متن کاملIF Validation Environment Tutorial
The core of the toolbox consists of a set of model-based validation components including exhaustive/interactive simulation, on-the-fly temporal logic modelchecking, test case generation and optimal path extraction. In order to control state explosion, the toolbox provides several static analysis tools operating at the source level such as live variable analysis, dead-code elimination and slicin...
متن کامل